<?php 

if (!defined('PUBLIC_HTML'))
{
	exit;
}

// Logout
$user->logout();

?>